| 作者 | 題目 | 期刊 | 年份 |
| 祝瑞 Zhu, Rui 劉新文 |
加名字核證邏輯的極小系統 | 哲學研究 (2014 : 07) |
2014 |
| 聖神修院神哲學院 香港黃竹坑惠福道六號 校務處：college@hsscol.org.hk 圖書館:library@hsscol.org.hk |
Holy Spirit Seminary College 6, Welfare Road, Aberdeen, HK. General Office: college@hsscol.org.hk Library: library@hsscol.org.hk |